home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
CD ROM Paradise Collection 4
/
CD ROM Paradise Collection 4 1995 Nov.iso
/
science
/
laame101.zip
/
ES32.TXT
< prev
next >
Wrap
Text File
|
1993-10-10
|
2KB
|
109 lines
------------------------------------------------------------------------------
* *
* Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane *
* *
------------------------------------------------------------------------------
Giorno: 10-10-1993
Funzione: Σ8 (10,11,12,13,14,15,16,17,18,19,20,40,41,42,43,44,45,46,47,48,49,
50,70,71,72,73,74,75,76,77,78,79,80,100,101,102,103,104,105,
106,107,108,109,110,130,131,132,133,134,135,136,137,138,139,
140,160,161,162,163,164,165,166,167,168,169,170,190,191,192,
193,194,195,196,197,198,199,200,220,221,222,223,224,225,226,
227,228,229,230)
Numero di variabili: 8
Numero di mintermini: 88
Stato dell'elaborazione: TERMINATA
Generazione dell'input: DETERMINISTICA
Tempo totale di elaborazione: 0:4:8
--------------------------
* FASE A *
--------------------------
Tempo di elaborazione: 0:0:0
Numero implicanti primi: 66
Implicanti primi determinati:
ABCdEGH
ACdEFGH
BCDefGH
bCDeFGH
aBCDfGH
aBCDeGH
aCDeFGH
abCDFGH
aBcdefg
ABCdEF
ABdEFG
ABdEFH
BCDeFg
BDeFgH
BcDeFG
BcDeFH
aBCDFg
aBDFgH
aBCDeF
aBDeFG
aBDeFH
aBcDFG
aBcDFH
AbCDfg
AbDEfg
bCDEfg
AbDfgH
bDEfgH
AbcDEf
AbcDfG
bcDEfG
AbcDfH
bcDEfH
abCdef
ABDef
ADefG
ADefH
ACDef
ACDeg
ADegH
ABDeg
ADeFg
AcDeG
AcDeH
ABcDe
AcDeF
AbCDe
AbDeF
AbDeG
AbDeH
aBDEg
aCDEg
aDEFg
aDEgH
aBDEf
aCDEf
aDEfG
aDEfH
aBcDE
acDEF
acDEG
acDEH
abCDE
abDEF
abDEG
abDEH
--------------------------
* FASE B *
--------------------------
Quine I sx
Tempo di elaborazione: 0:4:8
Numero di forme prime paragonate: 14496
Numero di tabelle cicliche esaminate: 14495
Numero di implicanti soluzione: 23
SOLUZIONE (forma minima):
ABCdEGH + ACdEFGH + aBcdefg + ABCdEF + ABdEFG + ABdEFH + abCdef + BCDefGH +
bCDeFGH + BCDeFg + aBDeFG + BcDeFH + AbDEfg + AbcDfG + ABDef + AcDeF + AbCDe +
AbDeH + aBDEg + aCDEf + acDEG + abDEF + abDEH